JIT compile
Just In Time Compile
プログラムを動的、つまり実行中にコンパイルする
長所
短所
コンパイル処理のコストが実行時にかかる
メモリ上の、
コンパイラ自身のプログラムの存在による消費
JITコンパイラの場合特に起動時に処理が集中してしまう
インタプリタとJITコンパイラを併用することで、解決する
tutorial
↓ほぼここのページで書いてることを抜き出してきただけなので、ちゃんと調べてまとめよう。 変数に代入される値を観察し、型システムに関する統計情報を集める これと、「1つの変数には同じ種類のデータが代入される傾向にある」というヒューリスティックを利用して型を推定
推定がある程度出来たら、ネイティブコードへ変換する
課題
頻繁に使われるものしかネイティブコードにならない
型情報を推定するリードタイムが必要
型の推定に失敗することがある
参考
monadで作る